appMenu: Hide overview when pressing on 'Show Details'

If the 'Show Details' in the app menu is pressed, the overview
will hide now, making it consistent with other launch actions.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5279

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2329>

diff --git a/js/ui/appMenu.js b/js/ui/appMenu.js
index 3ee64bf92db8afdb1067e327ee8b4ea48ba207d6..010fdb30e9b4c14e67cc4728ce8843b6d038b93e 100644 (file)
--- a/js/ui/appMenu.js
+++ b/js/ui/appMenu.js
@@ -88,6 +88,7 @@ var AppMenu = class AppMenu extends PopupMenu.PopupMenu {
                 'org.gtk.Actions', 'Activate',
                 new GLib.Variant('(sava{sv})', ['details', [args], null]),
                 null, 0, -1, null);
+            Main.overview.hide();
         });
 
         this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());